Sadraddini, Sadra: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal Methods for Control Synthesis: An Optimization Perspective

Belta, Calin, Sadraddini, Sadra

Journal:

Annual Review of Control, Robotics, and Autonomous Systems

Year:

2019

Language:

english

File:

PDF, 3.14 MB

english, 2019

2

Provably Safe Cruise Control of Vehicular Platoons

Sadraddini, Sadra, Sivaranjani, S., Gupta, Vijay, Belta, Calin

Journal:

IEEE Control Systems Letters

Year:

2017

Language:

english

File:

PDF, 682 KB

english, 2017

3

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - Sampling-Based Polytopic Trees for Approximate Optimal Control of Piecewise Affine Systems

Sadraddini, Sadra, Tedrake, Russ

Year:

2019

Language:

english

File:

PDF, 743 KB

english, 2019

4

[IEEE 2020 IEEE International Conference on Robotics and Automation (ICRA) - Paris, France (2020.5.31-2020.8.31)] 2020 IEEE International Conference on Robotics and Automation (ICRA) - R3T: Rapidly-exploring Random Reachable Set Tree for Optimal Kinodynamic Planning of Nonlinear Hybrid Systems

Wu, Albert, Sadraddini, Sadra, Tedrake, Russ

Year:

2020

File:

PDF, 5.45 MB

2020

5

[IEEE 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2015.9.29-2015.10.2)] 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Robust temporal logic model predictive control

Sadraddini, Sadra, Belta, Calin

Year:

2015

Language:

english

File:

PDF, 1.22 MB

english, 2015

6

[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - Model predictive control of urban traffic networks with temporal logic constraints

Sadraddini, Sadra, Belta, Calin

Year:

2016

Language:

english

File:

PDF, 81 KB

english, 2016

7

[IEEE 2016 American Control Conference (ACC) - Boston, MA, USA (2016.7.6-2016.7.8)] 2016 American Control Conference (ACC) - A provably correct MPC approach to safety control of urban traffic networks

Sadraddini, Sadra, Belta, Calin

Year:

2016

Language:

english

File:

PDF, 510 KB

english, 2016

8

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Safety control of monotone systems with bounded uncertainties

Sadraddini, Sadra, Belta, Calin

Year:

2016

Language:

english

File:

PDF, 791 KB

english, 2016

9

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Feasibility envelopes for metric temporal logic specifications

Sadraddini, Sadra, Belta, Calin

Year:

2016

Language:

english

File:

PDF, 1.52 MB

english, 2016

10

[ACM Press the 8th International Conference - Pittsburgh, Pennsylvania (2017.04.18-2017.04.20)] Proceedings of the 8th International Conference on Cyber-Physical Systems - ICCPS '17 - Formal synthesis of distributed optimal traffic control policies

Sadraddini, Sadra, Rudan, János, Belta, Calin

Year:

2017

Language:

english

File:

PDF, 1.17 MB

english, 2017

11

[IEEE 2017 American Control Conference (ACC) - Seattle, WA, USA (2017.5.24-2017.5.26)] 2017 American Control Conference (ACC) - Distributed control policies for localization of large disturbances in urban traffic networks

Sivaranjani S,, Sadraddini, Sadra, Gupta, Vijay, Belta, Calin

Year:

2017

Language:

english

File:

PDF, 4.70 MB

english, 2017

12

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Formal methods for adaptive control of dynamical systems

Sadraddini, Sadra, Belta, Calin

Year:

2017

Language:

english

File:

PDF, 281 KB

english, 2017

13

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Dynamic contracts for distributed temporal logic control of traffic networks

Kim, Eric S., Sadraddini, Sadra, Belta, Calin, Arcak, Murat, Seshia, Sanjit A.

Year:

2017

Language:

english

File:

PDF, 195 KB

english, 2017

14

Formal Synthesis of Control Strategies for Positive Monotone Systems

Sadraddini, Sadra, Belta, Calin

Journal:

IEEE Transactions on Automatic Control

Year:

2018

Language:

english

File:

PDF, 1.87 MB

english, 2018

15

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - Formal Guarantees in Data-Driven Model Identification and Control Synthesis

Sadraddini, Sadra, Belta, Calin

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

16

[IEEE 2018 Annual American Control Conference (ACC) - Milwaukee, WI, USA (2018.6.27-2018.6.29)] 2018 Annual American Control Conference (ACC) - Distributed Robust Set-Invariance for Interconnected Linear Systems

Sadraddini, Sadra, Belta, Calin

Year:

2018

Language:

english

File:

PDF, 473 KB

english, 2018

17

[IEEE 2018 IEEE Conference on Decision and Control (CDC) - Miami Beach, FL (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - Metrics for Signal Temporal Logic Formulae

Madsen, Curtis, Vaidyanathan, Prashant, Sadraddini, Sadra, Vasile, Cristian-Ioan, DeLateur, Nicholas A., Weiss, Ron, Densmore, Douglas, Belta, Calin

Year:

2018

Language:

english

File:

PDF, 1.21 MB

english, 2018

18

[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - Compositional Synthesis of Decentralized Robust Set-Invariance Controllers for Large-scale Linear Systems

Ghasemi, Kasra, Sadraddini, Sadra, Belta, Calin

Year:

2019

File:

PDF, 1.73 MB

2019

19

[IEEE 2019 IEEE 58th Conference on Decision and Control (CDC) - Nice, France (2019.12.11-2019.12.13)] 2019 IEEE 58th Conference on Decision and Control (CDC) - Linear Encodings for Polytope Containment Problems

Sadraddini, Sadra, Tedrake, Russ

Year:

2019

File:

PDF, 582 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски